(Definition 1)